301. Category theory and computer science: Manchester, UK, September, 1989, proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Categories )Mathematics(
رده :
QA
169
.
P7
1989
302. Category theory and computer science: Manchester, UK, September 5-8, 1989, proceedings. Manchester, UK, September 5-8, 1989, proceedings, Lecture notes in comuter science
پدیدآورنده : D.H. Pitt ... ]et al.[ )ed.(
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Computer programming- Congresses,، Categories )Mathematics(- Congresses
رده :
QA
76
.
6
.
C3882
1989
303. Category theory and computer science : Paris, France, September 3-6, 1991 : proceedings
پدیدآورنده : D.H. Pitt ... )et al.( )eds.(
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Computer science - Congresses,Categories )Mathematics( - Congresses
رده :
QA
.
S86
75
.
5
1991
304. Category theory and computer science : Paris, France, September 3-6, 1991 : proceedings
پدیدآورنده :
موضوع : ، Computer science-- Congresses,، Categories )Mathematics(-- Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
305. Category theory and computer science: Paris, France, September 3-6, 1991, proceedings
پدیدآورنده : D.H. Pitt...]et al.[ )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer science,Congresses ، Categories )Mathematics(
رده :
QA
76
.
L28
Vol
.
530
306. Category theory and computer science : 6th International Conference, CTCS 95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings
پدیدآورنده : David Pitt, David E. Rydeheard, Peter Johnstone, eds
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Electronic digital computers - Programming - Congresses , Categories )Mathematics( - Congresses
رده :
QA
76
.
6
.
B53
1995
307. Category theory and computer science : 7th International Conference, CTCS '97,Santa Margherita Ligure, Italy, Sptember 1997: Proceeding
پدیدآورنده : / Eugenio Moggi, Giuseppe Rosolini(eds.)
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Electronic digital computers - Programming - Congresses,Categories (Mathematics) - Congresses
رده :
QA76
,.
6
.
B53
308. Category theory and computer science : 7th International conference, CTCS'97, S. Margheria Ligure, Italy, September 1997 : proceedings
پدیدآورنده : Eugenio Moggi, Giuseppe Rosolini )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Categories )Mathematics(
رده :
QA
76
.
L28
Vol
.
1290
309. Category theory: applications to algebra, logic and topolgoy; proceedings of the International Conference held at Gummersbach, July 6-10, 1981
پدیدآورنده : edited by K. H. Kamps, D. Pumpun, and W. Tholen
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Categories )Mathematics(
رده :
QA
3
.
L28
no
.
962
310. Category theory : applications to algebra, logic, and topology : proceedings of the international conference held at Gummersbach, July 6-10, 1981
پدیدآورنده : edited by K.H. Kamps, D. Pumplun, and W. Tholen
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Categories )Mathematics( - Congresses
رده :
QA
.
L28
,
no
3
.
962
311. Category theory :applications to algebra, logic, and topology: proceedings of the international conference held at Gummersbach, July 6-10, 1981
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Categories )Mathematics(
رده :
QA
3
.
L28
no
.
962
312. Category theory : applications to algebra, logic, and topology : proceedings of the international conference held at Gummersbach, July 6-10, 1981
پدیدآورنده : edited by K.H. Kamps, D. Pumplun, and W. Tholen
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Categories )Mathematics(
رده :
QA
1
.
L4
v
.
962
313. Category theory : applications to algebra, logic, and topology : proceedings of the international conference held at Gummersbach, July 6-10, 1981
پدیدآورنده : edited by K. H. Kamps, D. Pumplun, and W. Tholen
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Categories )Mathematics(
رده :
QA
3
.
L28
Vol
.
962
314. Category theory : applications to algebra, logic, and topology : proceedings of the international conference held at Gummersbach, July 6-10, 1981
پدیدآورنده : edited by K.H. Kamps, D. Pumplun, and W. Tholen
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Categories )Mathematics(
رده :
QA
169
.
C35
1981
315. Category theory applied to computation and control: proceedings of the first international symposium, San Francisco, Feb.25-26, 1974
پدیدآورنده : edited by E. G. Manes
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Machine theory,Congresses ، Automata,Congresses ، Control theory,Congresses ، Categories )Mathematics(
رده :
QA
267
.
C35
316. Category theory applied to computation and control : proceedings of the first international symposium, San Francisco, February 25-26, 1974
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Machine theory-- Congresses,، Control theory-- Congresses,، Categories )Mathematics(-- Congresses
رده :
QA
267
.
C35
317. Category theory applied to computation and control : proceedings of the first international symposium, San Francisco, February 25-26, 1974
پدیدآورنده : edited by E. G. Manes
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Machine theory,Congresses ، Control theory,Congresses ، Categories )Mathematics(
رده :
QA
267
.
C35
318. Category theory 1991 : proceedings of an International Summer Category Theory Meeting, held June 23-30, 1991
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Categories )Mathematics(--Congresses
رده :
QA
169
.
I58
1991
319. Category theory : proceedings of the International Conference held in Como, Italy, July 22-28, 1990
پدیدآورنده : A. Carboni, M. C. Pedicchio, G. Rosolini, eds
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Categories )Mathematics(
رده :
QA
3
.
L28
Vol
.
1488
320. Category theory: proceedings of the international conference held in Como, Italy, July 22-28, 1990
پدیدآورنده : A. Carboni, M.C. Pedicchio, G. Rosolini, eds
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Categories )Mathematics(
رده :
QA
3
.
L28
no
.
1488
